_require local "../../../../basis.smi"
(* _require local "../../../data/symbols/main/Symbol.smi" *)
_require local "../../../extensions/debug/main/Bug.smi"
(* _require local "../../../libs/ids/main/LocalID.smi" *)

_require "./Types.ppg.smi"

structure TyPrinters =
  struct
    val print : string -> unit
    val printPath : string list -> unit
    val printTy : Types.ty -> unit
    val printTpVarInfo : Types.varInfo -> unit
  end
